Nuprl Definition : random-variable
11,40
postcript
pdf
RandomVariable(
p
;
n
) == ({0..
n
}
{0..||
p
||
})
latex
Definitions
x
:
A
B
(
x
)
,
{
i
..
j
}
,
#$n
,
||
as
||
,
FDL editor aliases
random-variable
origin
}
{0..||p||})
}{0..||p||}) B(x)}